\relax 
\catcode`"\active
\ifx\hyper@anchor\@undefined
\global \let \oldcontentsline\contentsline
\gdef \contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
\global \let \oldnewlabel\newlabel
\gdef \newlabel#1#2{\newlabelxx{#1}#2}
\gdef \newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
\AtEndDocument{\let \contentsline\oldcontentsline
\let \newlabel\oldnewlabel}
\else
\global \let \hyper@last\relax 
\fi

\select@language{italian}
\@writefile{toc}{\select@language{italian}}
\@writefile{lof}{\select@language{italian}}
\@writefile{lot}{\select@language{italian}}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduzione}{1}{section.1}}
\@writefile{toc}{\contentsline {paragraph}{}{1}{section*.1}}
\@writefile{toc}{\contentsline {paragraph}{}{1}{section*.2}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Compilatore}{1}{section.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Analizzatore lessicale}{1}{subsection.2.1}}
\@writefile{lol}{\contentsline {lstlisting}{../lexer.mll}{1}{lstlisting.-1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Analizzatore sintattico}{2}{subsection.2.2}}
\@writefile{lol}{\contentsline {lstlisting}{../parser.mly}{2}{lstlisting.-2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3}Albero di Sintassi Astratta}{4}{subsection.2.3}}
\@writefile{lol}{\contentsline {lstlisting}{../ast.ml}{4}{lstlisting.-3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4}Descrizione Formale}{5}{subsection.2.4}}
\@writefile{toc}{\contentsline {paragraph}{}{5}{section*.3}}
\@writefile{toc}{\contentsline {paragraph}{}{5}{section*.4}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Modulo Container}{7}{section.3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}Strutture dati}{7}{subsection.3.1}}
\@writefile{lol}{\contentsline {lstlisting}{../types.ml}{7}{lstlisting.-4}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Macchina SECD (Interprete)}{8}{section.4}}
\@writefile{toc}{\contentsline {section}{\numberline {5}Dettagli implementativi}{10}{section.5}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1}Gestione dell'ambiente}{10}{subsection.5.1}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.1.1}Funzioni di utilit\`a per l'ambiente}{10}{subsubsection.5.1.1}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.1.2}Ambiente e Closure-Suspension}{10}{subsubsection.5.1.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2}Ricorsione}{10}{subsection.5.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3}Gestione del dump}{11}{subsection.5.3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4}Implementazione della print}{11}{subsection.5.4}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.4.1}Differenza tra liste e tuple}{12}{subsubsection.5.4.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5}Funzioni di base offerte dal linguaggio}{12}{subsection.5.5}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.5.1}Funzioni aritmetiche}{12}{subsubsection.5.5.1}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.5.2}Funzioni matematiche}{12}{subsubsection.5.5.2}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.5.3}Funzioni booleane}{12}{subsubsection.5.5.3}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.5.4}Funzioni di confronto}{12}{subsubsection.5.5.4}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {5.5.5}Funzioni sulle liste}{12}{subsubsection.5.5.5}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.6}Repository}{13}{subsection.5.6}}
